how much would it cost to buy a submarine ...